Readable Code Is Unreadable
🔤Typography
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
✍Handwriting
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.org·6h
🖌️Calligraphy
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·11h
📝Shorthand
Flag this post
A Short Survey of Compiler Backends
🔤Typography
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
🔤Typography
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
✏Pencils
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
✍Handwriting
Flag this post
A QOJ week
✏Pencils
Flag this post
Creating Lisp Systems
🔤Typography
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.org·6h
🔤Typography
Flag this post
Go Generics: Use Cases and Patterns
🔤Typography
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Typography
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·1d
✏Pencils
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
☸Mahayana Buddhism
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🔤Typography
Flag this post
List Decoding and New Bicycle Code Constructions for Quantum LDPC Codes
arxiv.org·6h
☸Mahayana Buddhism
Flag this post
Indexing sparse vectors with Turso
turso.tech·1d
✏Pencils
Flag this post
Loading...Loading more...